catstr' s = \s' -> s ++ s'